SECD machine - PDFSEARCH.IO - Document Search Engine

SECD machine
Results: 15

#	Item
11	Veterinary Services (VS) Response Guide Swine Enteric Coronavirus Diseases (SECD) Thursday July 3, 2014 Documents 1. Federal Order: Reporting, Herd Monitoring and Management of Novel Swine Enteric Coronavirus Diseases, Add to Reading List Source URL: www.aasv.org Language: English - Date: 2014-07-11 11:15:34 Veterinary physician Software Government Health Animal and Plant Health Inspection Service SECD machine Emergency Medical Retrieval Service
12	Abstract λ-Calculus Machines Werner E. Kluge Department of Computer Science University of Kiel D–24105 Kiel, Germany [removed] Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2008-08-06 05:03:43 Models of computation Lambda calculus Computability theory SECD machine Fixed-point combinator Free variables and bound variables Parameter Algorithm Function Mathematics Theoretical computer science Applied mathematics
13	The TrueType Instruction Set The TrueType Instruction Set The TrueType Instruction Set The TrueType Instruction Set Blank Add to Reading List Source URL: www.microsoft.com Language: English - Date: 2004-10-22 14:08:52 Esoteric programming languages Non-English-based programming languages Stack FALSE Subroutine Pointer SECD machine Software engineering Computer programming Computing
14	PDF Document Add to Reading List Source URL: perun.pmf.uns.ac.rs Language: English - Date: 2011-09-06 04:49:02 Computer programming Lispkit Lisp Lisp SECD machine S-expression M-expression Cons Eval Common Lisp Object System Lisp programming language Software engineering Computing
15	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-27 05:29:47 Elementary mathematics Models of computation ISWIM SECD machine Closure Function Expected value Variable Differential equation Mathematics Software engineering Computing